b9fa048211fe1762e46c1279837e916fbd616ad2,src/org/basex/gui/view/scatter/ScatterView.java,ScatterView,mouseMoved,#MouseEvent#,448
Before Change
public void mouseMoved(final MouseEvent e) {
mouseX = e.getX();
mouseY = e.getY();
if(focus()) repaint();
}
}
After Change
mouseX = e.getX();
mouseY = e.getY();
if(mouseX < XMARGIN || mouseX > getWidth() - XMARGIN + ITEMSIZE / 2 ||
mouseY < YMARGIN - ITEMSIZE / 2 || mouseY > getHeight() - YMARGIN) {
valueFocused = false;
focusedItem = -1;
repaint();
} else {
focus();
repaint();
}
}